منابع مشابه
buckling of viscoelastic composite plates using the finite strip method
در سال های اخیر، تقاضای استفاده از تئوری خطی ویسکوالاستیسیته بیشتر شده است. با افزایش استفاده از کامپوزیت های پیشرفته در صنایع هوایی و همچنین استفاده روزافزون از مواد پلیمری، اهمیت روش های دقیق طراحی و تحلیل چنین ساختارهایی بیشتر شده است. این مواد جدید از خودشان رفتارهای مکانیکی ارائه می دهند که با تئوری های الاستیسیته و ویسکوزیته، نمی توان آن ها را توصیف کرد. این مواد، خواص ویسکوالاستیک دارند....
The Area Method A Recapitulation
The area method for Euclidean constructive geometry was proposed by Chou, Gao and Zhang in the early 1990’s. The method can efficiently prove many non-trivial geometry theorems and is one of the most interesting and most successful methods for automated theorem proving in geometry. The method produces proofs that are often very concise and human-readable. In this paper, we provide a first compl...
متن کاملUnderestimation by Area Method
The ejection fraction is one of the most widely used measurements of left ventricular systolic function. Angiographic measurement of ejection fraction is based on determination of roentgenographic magnification and calculation of end-diastolic and end-systolic volumes, assuming a prolated ellipse. Because it is simple and radiographic magnification may not have been determined, some laboratorie...
متن کاملAssessment of hydromorphological conditions of the river using the MQI method (Case study area: JAJROOD River)
The destruction of the rivers and, consequently, the need to reconstruct them, is one of the known important problems in throughout the world. However, suitable methods for assessing the morphological changes (morphology) associated with this action, as well as the cognition of the effect of the morphological factors in order to intervention in the process of river reconstruction, are still bei...
متن کاملenvironmental effects of gol-e-gohar iron ore mine on groundwater of the area
gol-e-gohar iron ore mine of sirjan in southern part of iran is a large open pit that operates below the groundwater table and during mining operation, dewatering is required to prevent operation processes from flooding. current operation is going on by digging wells in or out of the pit and pumping to prevent flooding. as a result of the former dewatering operation a vast deep cone of depressi...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2010
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-010-9209-7